Development of Terminology for SCM1
نویسندگان
چکیده
We develop a higher level terminology for the SCM machine defined by Nakamura and Trybulec in [5]. Among numerous technical definitions and lemmas we define a complexity measure of a halting state of SCM and a loader for SCM for arbitrary finite sequence of instructions. In order to test the introduced terminology we discuss properties of eight shortest halting programs, one for each instruction.
منابع مشابه
On the Instructions of SCM1
The articles [17], [23], [18], [14], [24], [7], [8], [2], [3], [19], [22], [1], [9], [5], [10], [15], [4], [6], [12], [13], [20], [16], [21], and [11] provide the notation and terminology for this paper. For simplicity, we follow the rules: a, b denote data-locations, i1, i2, i3 denote instructionlocations of SCM, s1, s2 denote states of SCM, T denotes an instruction type of SCM, and k denotes ...
متن کاملExpression of Epstein-Barr nuclear antigen 1 in gastric carcinoma cells is associated with enhanced tumorigenicity and reduced cisplatin sensitivity.
Epstein-Barr nuclear antigen 1 (EBNA-1) is consistently expressed in all EBV-associated gastric carcinomas. We explored its biological effects in gastric carcinoma cells by expressing the protein in two Epstein-Barr virus (EBV)-negative gastric carcinoma cell lines (SCM1 and TMC1). EBNA1-expressing SCM1 and TMC1 cells displayed no significant differences in growth rates, respectively, compared ...
متن کاملبررسی تطبیقی اصطلاحنامه معارف اسلامی و علوم قرآنی
This study examines the comparative strengths and weaknesses of the thesaurus and thesaurus Quranic teachings of the Koran. In today's society where the documents are kept electronically, retrieval and dissemination of information for the development of research, much greater importance of saving documents and thesaurus that is the basis for indexing in various sciences, One of the solutions fo...
متن کاملHormonal regulation of protein synthesis, secretion, and phosphorylation in cultured rat Sertoli cells.
The accumulation of two polypeptides, SCm1 and SCm2, in the medium of Sertoli cell cultures is enhanced by follicle-stimulating hormone (FSH) but is unaffected by either the cAMP analog, N6,O2'-dibutyrl cAMP or luteinizing hormone. The assigned molecular weights of SCm1 and SCm2 differ from those of androgen-binding protein subunits or any other previously identified Sertoli cell secretory prod...
متن کاملEffect of NPC15199 on [Ca²⁺]i and viability in SCM1 human gastric cancer cells.
NPC15199 is a synthesized compound that inhibits inflammation in some models. However, whether NPC15199 affects Ca²⁺ homeostasis in human gastric cancer is unclear. This study examined the effect of NPC15199 on cytosolic free Ca²⁺ concentrations ([Ca²⁺]i) and viability in SCM1 human gastric cancer cells. The Ca²⁺-sensitive fluorescent dye fura-2 was used to measure [Ca²⁺]i. NPC15199 evoked [Ca²...
متن کامل